Μπουλ, Τζορτζ

(George Boole, Λίνκολν 1815 – Κορκ 1864). Άγγλος μαθηματικός, πρωτοπόρος της μαθηματικής λογικής. Το όνομα του Μ, συγγραφέα σπουδαίων έργων για τις διαφορικές εξισώσεις και τον λογισμό των «πεπερασμένων διαφορών», συνδέεται προπάντων με το μέγα έργο του Μελέτη των νόμων της σκέψης, που δημοσιεύτηκε το 1854. Σ’ αυτό ο Μ. βεβαιώνει ότι καθορισμένες λογικές πράξεις για κοινές «ιδιότητες» μπορούν να τύχουν πραγμάτευσης και συμβολισμού όπως οι συνήθεις πράξεις της αριθμητικής. Π.χ. αν χαρακτηριστούν με τα σύμβολα a και b οι ιδιότητες του «ζώου» και του «τετραπόδου» (δηλαδή στηριζόμενου στο έδαφος με τέσσερα άκρα), οι παράγωγες ιδιότητες: «ζώο» και «τετράποδο», «ζώο» ή «τετράποδο» μπορούν να δηλωθούν με τους συμβολισμούς a · b, a + b αντίστοιχα. Αυτή είναι η κύρια ιδέα της συμβολικής - τυπικής λογικής, δηλαδή της μαθηματικοτυπικής μελέτης των ενεργειών της σκέψης. Άλγεβρες του Μ. ή Μπούλιες καλούνται ακόμα και σήμερα κάποια αλγεβρικά συστήματα της τάξης των συνδέσμων ή κιγκλίδων, που προέρχονται από τη λογική. Η άλγεβρα Μ. υπήρξε η βάση για τη θεμελίωση της επιστήμης της πληροφορικής.